Description Logic Knowledge Base Exchange
نویسنده
چکیده
Let M = { ∀a, t.(AuthorOf(a, t)→ ∃g.BookInfo(t, a, g)) }, I1 = { AuthorOf(nabokov, lolita), AuthorOf(tolkien, lotr) }. Then I2 = { BookInfo(lolita, nabokov, n1), BookInfo(lotr, tolkien, n2) } is a universal solution. Data Exchange Example Let M = { ∃AuthorOf− v ∃BookGenre, AuthorOf− v WrittenBy, TaxNumber v SSN }, T1 = { ∃AuthorOf v Author, Author v ∃TaxNumber }, A1 = { AuthorOf(nabokov, lolita), AuthorOf(tolkien, lotr) }. Then A2 = { WrittenBy(lolita, nabokov), WrittenBy(lotr, tolkien), SSN(nabokov, m1), SSN(tolkien, m2), BookGenre(lolita, m3), BookGenre(lotr, m4) } is a universal solution. Knowledge Base Exchange Example
منابع مشابه
Representability in DL-Lite_R Knowledge Base Exchange
Knowledge base exchange can be considered as a generalization of data exchange in which the aim is to exchange between a source and a target connected through mappings, not only explicit knowledge, i.e., data, but also implicit knowledge in the form of axioms. Such problem has been investigated recently using Description Logics (DLs) as representation formalism, thus assuming that the source an...
متن کاملWhen Are Description Logic Knowledge Bases Indistinguishable?
Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, module extraction, knowledge exchange and forgetting. We study the combined and data complexity of this inseparability problem for fragments of Horn-ALCHI, including the description logics underpinning OWL 2 QL ...
متن کاملExchanging Description Logic Knowledge Bases
In this paper, we study the problem of exchanging knowledge between a source and a target knowledge base (KB), connected through mappings. Differently from the traditional database exchange setting, which considers only the exchange of data, we are interested in exchanging implicit knowledge. As representation formalism we use Description Logics (DLs), thus assuming that the source and target K...
متن کاملKnowledge base exchange: The case of OWL 2 QL
In this article, we define and study the problem of exchanging knowledge between a source and a target knowledgebase (KB), connected through mappings. Differently from the traditional database exchange setting, which considersonly the exchange of data, we are interested in exchanging implicit knowledge. As representation formalism we useDescription Logics (DLs), thus assuming that t...
متن کاملQuery Inseparability for Description Logic Knowledge Bases
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with respect to a given signature, a fundamental problem for KB versioning, module extraction, forgetting and knowledge exchange. We study the data and combined complexity of deciding KB query inseparability for fragments of Horn-ALCHI, including the DLs underpinning OWL 2 QL and OWL 2 EL. While all ...
متن کامل